1. Logical dilemmas :
پدیدآورنده: John W. Dawson, Jr
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Logicians-- Austria, Biography,Logicians-- United States, Biography
رده :
QA29
.
G58
D39
1997
2. Logical dilemmas : the life and work of Kurt Godel
پدیدآورنده: Dawson, Jr., John W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
رده :
QA
29
.
G58D3
3. Why prove it again? :
پدیدآورنده: John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Proof theory.
رده :
QA9
.
54
